<TeXmacs|1.99.14>

<style|notes>

<\body>
  <notes-header><chapter*|Example of TikZ figure generation with the Graph
  plugin>

  The <name|Graph> plugin collect the interface to some useful image
  generation programs. Whenever possible a vector image in the
  <name|PostScript> or <name|Pdf> format is generated. Currently it supports
  the <hlink|<name|Graphviz>|https://www.graphviz.org> suite and some <LaTeX>
  image generation packages like <hlink|<name|XyPic>|http://xy-pic.sourceforge.net>,
  <hlink|<name|FeynMF>|http://osksn2.hep.sci.osaka-u.ac.jp/~taku/osx/feynmp.html>,
  <hlink|<name|PGF/TikZ>|https://pgf-tikz.github.io> and a direct interface
  to <LaTeX>/<name|PDF><LaTeX> for more complex layout or to use other
  packages.

  You may insert a <name|Graph> session using <menu|Insert|Session|Graph>.
  When you finished typing your input, press \ <shortcut|(kbd-return)> in
  order to compute the output. Multiline input is entered using
  <shortcut|(kbd-shift-return)>.

  Type <verbatim|help>, you will get all the available graph backends.\ 

  \;

  <\session|graph|default>
    <\output>
      Generate graphs with your favorite tools in GNU TeXmacs

      Created by Darcy Shen, Implemented in Python, asy[421ms] by default

      Welcome to star and fork it at https://github.com/texmacs/plugins
    </output>

    <\unfolded-io>
      asy]\ 
    <|unfolded-io>
      pdflatex
    <|unfolded-io>
      TeXmacs interface to PDFLaTeX for picture generation
    </unfolded-io>

    <\unfolded-io>
      pdflatex]\ 
    <|unfolded-io>
      \\documentclass[tikz]{standalone}

      \\usepackage{tikz-3dplot}

      \;

      \\begin{document}

      \\tdplotsetmaincoords{60}{120}

      \;

      \\begin{tikzpicture}[scale=3,tdplot_main_coords,axis/.style={-\<gtr\>,blue,thick},

      vector/.style={-stealth,red,very thick},vector
      guide/.style={dashed,red,thick}]

      \;

      %standard tikz coordinate definition using x, y, z coords

      \\coordinate (O) at (0,0,0);

      \;

      %tikz-3dplot coordinate definition using r, theta, phi coords

      \\tdplotsetcoord{P}{.8}{55}{60}

      \;

      %draw axes

      \\draw[axis] (0,0,0) -- (1,0,0) node[anchor=north east]{$x$};

      \\draw[axis] (0,0,0) -- (0,1,0) node[anchor=north west]{$y$};

      \\draw[axis] (0,0,0) -- (0,0,1) node[anchor=south]{$z$};

      \;

      %draw a vector from O to P

      \\draw[vector] (O) -- (P);

      \;

      %draw guide lines to components

      \\draw[vector guide] (O) -- (Pxy);

      \\draw[vector guide] (Pxy) -- (P);

      \;

      \\end{tikzpicture}

      \;

      \\end{document}
    <|unfolded-io>
      <image|<tuple|<#255044462D312E350A25D0D4C5D80A362030206F626A0A3C3C0A2F4C656E67746820353431202020202020200A2F46696C746572202F466C6174654465636F64650A3E3E0A73747265616D0A78DAD5553D6FDC300CDDFD2B38B683589112F5B116680364BBE6B620D30509102405DAA51FBFBECF9665FB2E571441BA04B0459FF8483EF2C93E4FF7E4E962F0FFB082D5939019AB058A85C5940E4FC33702E68226E0E039D462F483C66D5CBB17AEADC6F7FBB9D817D4E75CB39731A567ECE27EA2C14561148A955C481C924F811E69B89A9238C498C1E5395984A7DBC5F12C5AD0C9180B64C809C5AEE966AA750B1697B81FC8099B453152F659152CB01335A648C25A4D941A41C10F98508AB5ADC3B4BAD9B344B91EB6647673EA035DD18EFA4C70F5E13B03F1808818B98491F420F350C67BFBDCFA19FA1C37A35DB3050EBA18E4FAB81F3E7C16A1CA3569A2FD1D35575BF7B774FDEEE7FB9BFDE5F069BF24D9229062B7A69FB9AE54775347FD40BD4CF0ACE0943314537499425DE5F6F0F81CC7016BCE6194BBDBE6388D2DF56DA89D33CE6602AEB2A6F25AB1252827C110A47029F1BCDE1D346326C97F9D4A7E023A56DDCDAC57D2AF917D34A37CD17BDD2ADEDA77DB192CB0B7F1262B5B485DE2574A6BCA5932AAABB149392FED0CEA9849DADFA7D29E808EA56D94DDCAF99CB20D0C7AED01CA0A4B35FC651C2BABF82C989851C1592AA8B57D9F63847418BCE634BDD7EDA13B9E85B6190596527C990B408A2A8AE309D6E66342FE5EFD7175BAD57BD7853AEEE71A096A29252CB61FA733AD9E3FC49AB9A48009383097E0736FF6FF543A937E5BB4724A9A9F57C4F5F5A8DFBFD93FA3B68F4B0A656E6473747265616D0A656E646F626A0A31312030206F626A0A3C3C0A2F4C656E6774683120313432340A2F4C656E6774683220363531380A2F4C656E6774683320300A2F4C656E67746820373438382020202020200A2F46696C746572202F466C6174654465636F64650A3E3E0A73747265616D0A78DA8D77075493DBD236D2A488D2443A0181434F42EFBD57A5AAD42404082D21897410A437A5F7264DA44BEFA0540151AA825429525490DEF96239F7DE73FF7FADEF5BEF5A79F7CC3C337B66CF337BBDE162BF6324A8648B84C2D591AE5841B010481AA0A2A7A7050601402011211048988C8BCB18817586FFAD27E33285A33108A4ABF47F2054D0700816A753856071403DA42B40FBA133002C02008B4B8325A4412080300824F53710899606A842DC11B6003D218036D2158E21E35241A2BCD0087B072C6E9FBF97001E182F002C252521F0CB1DA0E4024723601057801E04EB0077C1ED088338038C9030041CEBF58F103CB20E582C4A1A08F4F0F01082B8608490687B795E01800702EB00308463E06877B82DE067C9007D880BFC4F6942645C00630704E6B7C1086987F580A0E1009CC2190183BB62702E0F5D6DE168006E778091962EC0000577FD0DD6FD0D1000FC391C005808FCAF707FBC7F0642B8FE7286C060481714C4D50BE16A0FB04338C30106EABA42584FAC0000E26AFB130871C62071FE107708C21902C5017EA50E01A82BDD05407015FEA90F03432350588C1006E1FCB346E0CF30B8635673B55541BAB8C05DB118B29FF9A922D07018EEDCBD807F9AEBE48AF470F5F95BB243B8DADAFD2CC3F6210A68E28A707B08D752FD83C1A9C8FEADB38763016220490911493100DC0D00F78439007F6E60EC8582FF32827FAA7135F8F9A09028801DAE0CB81FC20E8E7B91F96020EE700016FD10EEE7F39F867F4A646030C01601C302A0707B842BD9BFA3E3D470BBDF32AEFF688427C01C84A31F1800FAF9FC6B658963982DD2D5D9EBDFF05F2D066A6AE898286BF3FF29F95F466565A427C04750441820282C06028041A2920009DCC2EF9F71EE40107FF2F80F5F2D573B24E067B09FF9E20EEAEF9CDDFF9080E7CF84F002FE194C1F89A32E1CC0F36FA65B80C44030DC0FF8FFCCF75F2EFF3F9AFF8CF2BF32FDBF33527FE8ECFCCBCEF31BF0FFD8212E0867AF3F081C751F627163A087C40D83EB7F43CDE0BF67570F6E8B78E8F2DF562D2C04370E4AAEF6384A0B82458540A2BFF5088C3AC2136E7B07818539FCA6CD6FBDC9CF817346B8C2EF2031889F570CCE0B04FA2F1B6ECA604EB86B0483E3E66F1304831B39ECAF46FE94E1B8A1FA671E6AAE30A4EDCFE91316130740D068881719AEF938490CE003C68DA92DDCF317BB014021572416E702C0D5EC07B043A2C97E361A2C0C02003D7FEAFE886000D0EB3F446100D0FB97F88F5D610FD1685C5ABFE8824BE96FF9D70500877BC26164539348984CB0637570EB5195129387E0CAB02CD156EAD13D61C1E1022B126C8FDAA8F562BC5156E6B44E89FA543758DDCAB1435FD9ED287BEEC3AECF720D5BAD97E881209BFA9A3D1B3476F2F2E0CA7882CF2133C7E48D46BC6766C9CAACD2CFD13D787758A2283B49156CED7B8CB86EF8FE55DDF531C1839BB6585D423BA455BFBDB3AA3853978E59CAF4EB67436C13B4DF78456C8FFEAF9CCF2E4F8396A22D2252F4D3397464DB8FC9E23D2A2917FA06FA67A8BA595E45056ABB3F5ED9E60CC552A9C9F433AB8A5EAD349DC9BB7E96F3DC7D339DDA07AA41A3B869DB533ACF9B7C54ADBFE3B0BCB369C9CE93D829E1609368170DFEEA7DCC42859AA1554E45E7E6AF46DA7ECA0E632368E8934F38C49876A521345FCF957F6671D20E0BD1F19A1EEF1A59387BA893A265FEAE379847402F5EEEA26CF9AB5F1D575B8CBB5D287EF35F55C954CB6AFC7499BC1B7E764179BD9CCE5933073C21E366C2E692A90EADC6F2453352C1CD01F7A8444428DC11A91526D781755FFAAE16DE3FF0F116BDC8DB6D6F57E69E76AB8C728DA18EF65EA899F14D2F7876B20506BEA985A5BD8C56F1F670593CF0ADF45CB4D4ED734116FA957BB7BA887D5BF840F5241A290D60CB7EB1D111191C432FD41CC151FE69A93B7C9FB50C3FD616AF583FB7F4642F90EE6D2FB2154F84CCBD3830FA64D3FB7C133F1DA04F86AAF5262AB97353C674B4C35EBC2FAF871C5F7E4AE0F2877C738A4180B6A88B1268E8DC50A47EB2898FB6DFA79D3F8FAE79995A8A6A3104F170E59D5EE2B281E20D073F419A4F3C4F281ED3DEED0F5A8F7F1ADDAAB4B0D79413C53BF69269FCDBB5D662B9401221A9175F3237F744EC99187733E5AEB399B75BB35D422F91D637B795994D0BE64F7A1F0F5EADDF31E360FBC680BF5C9F95F17A01B2B38E7CA08E3188E30D4E2CE0DAB215DE69F288D66F291FD394DF57F5DBDF26F99415D7733FE97AEBB7DA9760C7071541F6C5D7893BC0D0F6A64CED1288AF4DBB43CC73E823DE571EF783B660E6DC20C7C4EDEA7B78125E47F66434A90E0C460D2179DC448FFCA8511782A31B76935600C8E9A435590F93B3A8B7E9FAEE9AABE1EE42078B750C5CB1B2860FDFDB37392EC90C21D42035C4FBA42F2D4339D4E8C93C46E4DDD3A74EB90256D1D0F8F46DEFC1261208F96088A8B532F1D2060D11F5CC69EFF009788B7F649A6AECCA8DAF6675D5C2032864A6EA6966690441BBA7FC80DD07CD9A1373364B63B583578EE986FD91FE40FE53F2E565BA0D407A2AE5ACB3E4B2F7BD997854F55E4E469626BBE9E14CA06D3D7B7D808CAD685EBE71E18D29316981A51377DADB309DA77C339332FCDEEF6E5EBD175D49ED4DE104B85570776CDEA3471EE2D60B155F01C7689D340DEB50728728C0DF4F1CC6C9856FD835D5CB6E3BEA9C3D19E3746A743E98E3B2DE73E1B4A44C935A12EC0ECA5DB9E504D11D7CC438739C6AFCEE0ED8E77D200D23AD6B6EC493896CF5691FA871DB50AB1D71E8E76FB9E53E11BAA39BDCE19D9D6403F7B2A496068A164E0EBFD7CDCB2B04D24C2FD71AE77EEC477E37F4481F5B94260B63CD80376D91017748239AD758985FD1D3799D7E6BBCEE179C1B865D9DBE9717D4CC2111B0E3860D5EB03BF1EBA45E1D49E4AD0A952434321CBB97E4758B5A3613532BEC986460D5BA18D44CC9D579EDA9495673C8828FFC780C30B7ACF2858A0B727E0534CC55E6F70CF5E996ED171F073A51F948EAC8AB561EAA45DB8AF0BB7BB6D7BB09362008DBFB23560B8A1D750A24A86B081119E6EA40E59E262516F8E9296BDFDEFE3582118E721DD8FAAA3519D99EFCD99B3363E4885C011F334DE39BC113AF8280A9DB281A62CE34936166485140754096D85DE10722D2F4590D4CFDB2F735467CC0479730532D862A02711E6BB41EC7510436C436202068B6447F3354D81286802C1E88EE5ECA6DB1BC45A7B5B87B7DAA74B0E27BA5A933F5D2D762EFE3FD080F9A3A46BDCD7C1101BEBAEE4877313FA19242A9A25B55391CE290D65AAAEBF0FBEBE97EB104E22F84FD748240DFAD4DABE8865BA2AF7E1A023E17EFF41F8C00ED3829C787F75E387F97F7889FBBB721FB59F37E4C552FA1A73B751B8D5FC0B2BA206706470694969DA7CEDB49F5AE21142B53D3777DDDB1A0B13BCB897C599FE140B47C8C58F4386D6FBE66E6D251892FC3C67E34EC6EC9CB6A529EA22F3283815577294CD8825550D0B5B78A32475D2A7852F0756E75739E28B2BCB390E3D8E3228561FA18345EE4B7D4D666EBBD8A90AB54A37606246673EFF1978A738A1F1E83660FE3629C80F115DC9562FBD7DE8C161FD74D7C240D7C2938AF7BDFF44109F4ABE8BD6CF321D0C321473A79B571A7EA806AF67B3D9DBAB1EDF547CFFAE24C52AA0E3296007A61CE27C69ACCFDAEA3175E19DD7093DEDECB334C8812E14C66243244846DD8D7920D506999B6BCCAE4DD1438AB5FC19DC498A831610256AC0B15024AE1CBF48D685DD978A7EE9DC859D41E60F211A8834FE0FCC14EDCD36D219785D48BACDAC3EFE5634D4D600D1FD7C92768925342E5D9FD975E48CFF7F58E15DF533CF3AB8DDA52092CBCEA785D6F2934679BAE3DD6AE67603D26E667EB67728284E49AD379CF0CD9A5BE0CA04EF960A7C5376B6EC72087AF474D2732C6CBD5FAE3450565825B4945BD010F518785E003F66806D6EC4DED2E324D5E66F4DD83D83A96BB6207F98F8CE9A1BA7E40F9613127EAAFF48772773DF20C2E24E8C4CEC26F3349277D10C833B1A6D3BDA31057D737704B5FA562D548EF6002B13541312D9F749DAAF7DD61F8CAB5951F227C1F1C6F9B7565A96E48AE4571EE8CF9EE64B337A847CE0F0C45365E30AE4FEB26C8583F22B3BD9BACADC559DF9CDC75BF9FE7233D9D8BA1DB1ACD61BEB6397DBCBFDD242581944072A978CDE75BD6E093FC317F0F0079CBE60B6623012205F053852012F2DD49A5F19E792F679EC74BBA579ADE615B72D908B64C62A9BF7F5D23ED642875511CE5A33B8D35A6958AFDA4D6845F6866602F389D3CF92AFA4695E63A6A95FE3A4493989583C4C2BBE0FC352570748C3558CDD194C8270B1CB10B1E0A327E9964AA7B3E2AE665A6E3EB1D30BABB94B2ED3B5D8FBD5AE0A86CBB1E622A57E13D2532DD693CA9EDDFBA6A5EDD5E7731216273EE9E7B81724507995CD333352BC93810FA42735F10BB9696BA5E555E2DEC9D35F1232EB8102F8C4CD6481C0BAE73EE9EB56981A6AF46E2E534E3696DD28DB058F3663D48DB1DB78653AA5D37C252149AC0C4BEBE5559548C7A8CEC11A3ECF3D4557DDBA1941A59FFE8BC47BF88E5BD21094037EA5BA65DAFE7AAB02A4FF2E321D7DCEAE9C9CC4F8899989277232FA231145D53AD31419F4F84D073245504ACBB6AE62F0409CACE1BBEEE5F5F0B2A0EF46E4B5E798AAE20BAB1B130CA59A85C42AE8B0F8C8CFD22DDA84CB70F989CFBC01DA0C1943D3A0C7E280EB2C4D80492C5EF25F9A63727F0BCA413CD997FCEB3BEAD5C7D2E48E5D4DAD294DD9BEC54B8B877DAA2C35AE11235AB38675DA0F4D7EA87CE07CD639DD424029C8670529771557382F298CE1894FFE076C5760439F1BD9904A573491725EFA9FD2F9984B6EDFA321CCB69FEF4C423F1C5EDA8F9D683949B8D0C2A1A45D70312F4DFE7543DE99EF79501E85CFD2E4ED9A9347F38DE6763B3DCEE280D24C7BF85F7A0E669C0E585491117DF893893C5C7DD7AE5D5C584E938D9818D953BD19C2802C7F280CEDE758F2E6C083FA2780E5151A05D329EDD70360E683329EC19DCC6ACDD6FCE720CF1CB23B3788DD554D9B8BA3570CC9A0624535D5C01B40C90FA20E0DD4BD7D208CA649F5532B56FBC3BF77D2DE49302AB0A733E023DC90FE7794E37FD48852495FFFB5BE646E6A9078D17284E00F70F4AC8F31BB59C6A25F1EA9A312E78BCF3B7E60A4488CAB0F3862B880C674E1097A713FBB94A9A7480D4FA17EB61C1163F277FDD11C52FDFCA5E530C6AC8755B953A7CDCE075AACC6842904A42C7E28E143156B78E3C352E85E242496E6CD21B1C86A63F88FAEE58B9A44E6B3CD3FA9E428013B215C468F8A9EA046397589B5FF0D1C22500E60446BEE45F7D441236B43A4F18F04A6D230CBA1525A052E1B6DBC51D7A7E8F66532B3FA3773C9510DD66F1A9FEF5E337979F4F0DE1481BF7F8C566B4ED2D94C2D777E315959976132AC337895FBE986C32233A40858EEF3A11E7050DF72BE5B251F24C59EA2D337CA0BA414A497B30136B15583E326190F4D279F6DD7B2F39E6BD622B6F31B5E840066FCE8BC783B06F73A04127A348D4D336A56D7C87E7680C79485BB80D91F6DB840BA7A8D6A6210D358771EE35859B4121807C9A850A269BA4AC2545A928F654A485A26E02C438C5D2104BFEF5867747E55F8C7CAF0E4D644205D54618574212902DC6D0CFB31D62CB950D1D676DC289EDF2A55F753CDD44BA0A17DE58639FB39467ACC7BEF71D31FBC0150ECA1F925B558B53AC6C4E14DA12B65A40D7144AE7F0B068CA97C1D7A6EF0CCDD68CCB541E7EECFBF02CD8CFC52C735DF0479DDEA2D2B037C60603F58BCD8E9E3AEFC2342AD25A27605A81F829D94BEAE11DC1370CE2D55E97A6387F8F9A73B0D0B0815E3980B04A16A43770F2CCEDF45B9988D054BAA5D78EEF6F2DEDAA1071945EBA774435EE3B5E50E1C528A4E69CCC0C2AB18C35AC8A091563A4DB2DFB986434852B42DAAA159C3B6AAB61B4D4CB1778770A0FF7D8E124F99F3604B1E0271F818CC0BE38A86C6852C2CCB9D32970C5679E787D241199319C4B13FCF46D2FC1D2D742490D2EAA08D470EB9BCDDE06BD1FD2634927AEE7AF396146019B4C62EC25F1D9CDA0A4C8CFD38A21ECC9F5FECBAAA463B72565AE3D7AB6537BB98B2164C9B1DAA892B357D9CE8BAB0D9C55385EDBFCE07D5526C6DA32A115ED8FFB27A899501901C49E9177EDAE89ABBC90D0B07FD2947AFC8649FAC6B1B29C14E7FED51F7D9BF49C197C0DE271FB27FD0EE81BFBEC41A46CF03299B5C1EB01A3663D42C5B6FE871A1720B5D4C56152BC823945F0727D618C27A22AD2B4C4ED5ADC506365696239E524EA8B7D81FE150F2FCBF9498BCC198CB09BCBF70B856CA18F853AF52707323EFBFBC64DA28F29433B735E3F7DAE9FB7354EB940DCEEB4B9D06DBBE0F94ACB414DAE2FE87978A165BC251A601CDFE947D1FC5DEBF1E9B70CE159868ADB1485618469171B3DE6A455296413F1B087E75E4D2686814E0B04B1B82F92BA8108A6D2B7811DA1C1BEADF7EE8CE79AB6F5F0AC7BCF8D6CB8F8B8B73DE9D2C7F2E50CFD488751E2A9A6BD1C628C27B796C13A8DCF0966646D88B2703D7F5E4FA45E7CBC95C670ED68F65B35E3150225831C9E8A50CC1BBB975C3C33A7A861D54F9A1CC2DC44A982A848729D2DFFAA08E8D29E08BBDC43B5DDBBEB8929243C9BAAB232358E55DD030D27F3535A2BC7C2185A96BCFAF953A55AFB508D84B7FA467D91B05EE1F1B3E60F686AA1D0D92589099527562ACAB98B516B55B472B3E8D8119BE41DDA4C67B7721E61CBD98E347D385396CE5A22A886E5ABC2F3511438F9F007B9554CEACE75DA9B543677FC8D2ED9E474662F15D48E5775983232B86BF87723F2D1169CC2A49CE61FA2819E93289176BCCDCFF74D9E95B90511D5F1E1DBE4A2012F0E95C8CB134C247BFB7A90B17C28CC35E6630AB5C20367A7E75045D7BBFCBB43328671D1AED9F111C25EEF422BE982A7EAFD585BD674D63FEA981A07DD2E95645C8CCE4E42A949B77B0C64658FD0A9C1A8C91372BACABAE4B4F6D7239E6BF7D96CBF49BCC76BE8B93517BF1E4BD0ED492A362234ED507C9BA45955936123670AD48F0FABF37FD544A75D786D29B4712BB050DA8D90AEB7DFC14B67B6F6425D46F6FE65CEFB9033FF2EDF9DD28679D2712A9A3D6320BAE3BC88AD724BA91BBAD1DA975F7BBAEC5CC6E5ECBD074A87F863BE24A8DE51D117D5B1A89FDD595550BBFDC3D075F430896363D1E9F66CCE5EBCA251EE89AF3639EFE59EA605211331AD9F40E2A8BB8982AA2C6FC060F2966541C679C1F7A496EDF8B2CF73EB1AEFFBA85E2510E135A41B73AE69E91D2C7A45E1A54BD28902F5587CAB1A3A6EE7C8D98833F612E113C561296886259D065811796BC4B2D0E3A4CC9CA62B644B39F4E1FCAC32721419841A9F1E3DF296A4943042A3B843AB39239CF697DF2A2E91D415A54641F402C25F27DFA2BD3D500DF73D4DDD83567E664D23BF86D50D931C79094A1908F77D37B6D16EC0CA3BEFF67E85523D094B9A6C90839F2FE7595DD8DC4314354DF1B1C87AB547EE3281F29C3FA572D4406A2554C96F88FE9905F9A297D50D01394FEBE857A526442D4F3BE79F891B9084392A4F2F492A8428047F5951256A89C18B63367FB2E7A59A38D571D5C5ACC8FA763C340A7299ECEBC14BA565B370A3BC0B0181F8427A316D8242DA59C6280E917E2545EE552FC5B66F749FC71E03898943F03B9391C083A7D81146724FF2A4DD7DFE213A3E89FA2DCD77D6477765F7E8C1EE188380A620E32B359F9C26C4526CEF614E92359FBC0CB275324349ACB879198ECAF6B12E7A92CBED0966BA87139E69BCA3F5ABBADFF4DD1B9636BE57F94E901781FFC3C574729EA74C373D79C9CC3EEAC5950BF4B01CF0E58D0E6EB0BAB19F9AE58F569167F3CF8DB898B9F51ABD62F2EFAB142492428F971A8B62F849953C6EEAE4931DB60198CBE33249F3D5C497599CCDD061B2C4A217477A03D68C96C6E169FE7FA5BA57B29C2ADCF522735C08799F5DB098F8E81579AAAF60154C97923078AFD698902AE7BBB77F3F15157EE62593EE0963A8C47861B906FF83CEC11CE5E897F3911D1B728D247CDC4381C612A592FE8FC2626FA78E2EF4763827BD9664BB59CF56DDD3D6E8A07DDA50F42A97398FC731E612BAC24727E78B8D6612808D2680A87B40CE0D5B55B56F31B2A6CD1E78657DE0D1C4C3676C7C6C4FD519827652048BBB3ED51C533DF2468A05F517CE94D6D8961150AA3D4A381DE0EEA27DFC91B8F779C1D123DD26210550EDACE0C4D2B4918DCA35BCC7126E70E3F402BAE7B2D04272140A5BDD30375A85353633B009651EDD161532F0E4F48CF7FC42F5E3C9D1BD4686DCB2417B491D0D5AEBEFA01AF6C049E49E779159D0F6D02042BA8FD8AC957F873045A7A6B5E36CD298D0E3CB0B8C5B987159BBC36371F4F4C68E6E02B7B4D9FDC8EED6B438C0927D49419DAEAD7C744418BECED50C0AC55391098BEF46FAD292CFF2E9FEB2275C2F9A27315198E35D1E3784728D9C4E23A31B0252D7E423C52996BAFBFC7953490DE2C94A5FF4DDF3107B0BE4185CF4754A2BE681337002E9E7B44BDB35C81B171258FBF65F653383F4F691B71D5023C6EB5CDD3B2B57040D7379E40BF9864F48478BBFF60B8B853BB4AE6D35FB6A09893D7C6573F74EFEE1E4635E9B1F2F52EEDEEDAB5FE739BB7A289A20469F5463F53C682EF831ADDE7C25329C85444C83CF46E1ADA1BA5E31C54257C0C5C490FDD2930D54A7DDF43CBE2BC1055EBB582FF8866D594153DC379DEE4D6A735D32AF4637D25AE5CE7ACE2EC5BF18C207C4D7D9CD3617C886634FD46ED6F76A356D891F099C6A19BFE20C8BB918F6CA980AFB9E7045331985685ABD348539645BD23B737F9A7FA6DE352BDDF49AD2A0609DF3767F2409BBAA74315E14155E08172FFE555A08FD52869E67C2797F1F87B56ECA8902F36B5B6ABE13E9B049D096B0A58427CFD766511479C51DC9563E6621427731966CCC205476FF498DA5EEDD50D016DF51BDCEB7A40FFC0D8AF27021C16964C9D8D3B50B15860A861B84C9CF7A039C0728B77A472CFC190CF96F72BA772193550BD3A6ED43E7492EBC028F3772D7206CE1D7BEA8EABBA2D7F8B6860E2ABC732B1C8E82A68ECC03B98B7AB8C33A2F57C7CFDC842AA2068E583A66DF1786DDEA1E2EDCEC734E34F514D937CE2AB976C0A50BF56624861A798FD5CA22A563278CDA5CFD836F213C7CEF08E94D9C46DD546184946770BF45D47D18AD0E73BFAAEFE3B3C9352D681EBD942D98CA9FD3442D8454649EF150BCD8C5FFF6ED7174B894D59D19512D28575EA6E510BBEAC521A7BCA67B79ECCDC3F451FA91A2063C2318AFAAB88BD64487B50F970AD1D2EB2BA4D31DEDAD91C6E4965FCF532F13FBF5CC74EF000BC93872E25E845FB76FD44FE67739F66C55EFB8F74CCD4BAC9C9E6423FF4A5A13A40F629EDB8CA366C3202F3DD5579B7D7C557AC0F447431897EAB31392DEE08690266599BF083E56EBC9E0C92DB4BEDA465FA1F90E673789D6ABB1A17A284163414AC4352B16CFCFCD579591771E66A8C69AE3D019053E13B9C179782DEA69A2D3F2D5759A48FB05269F78E96324DDD5E3FA4906812ED6ACE92F08E7478C6DD4F162B76F1E48375A185033AF93569E8E476B7F3B5B3017E2B29BAB888A13A03BBE32B0CC987B654BB481B245A79C4ECB3837C071163B40617FC521CFAFA28D71DC7758AA8AF62A01F830ED40405BF09D6F09DDCD5B6BDC5B8B1F66A2DF83B3ECECB6CB9976C0ED7F79083D0994FC9CA3F8C0C019451CE8B6ADCE53FADADA0AA3745A51885759B54D8DAE2FE5BDA55244E8B63E30A90585EEC8020EF81A3EEA574C69035340E6532534BC87130B614E5E19E70ED6F84C250FE65B88208A1F5B08A11251B60B640F1E44953604D675D6E5CF6FCB27CDB6E6CEF804332A6D5EBFD6D650359D917B2882079C8DE6E248BCF968C92AAEB7B7A3867968218868458DA377C142E674FE0502F37E3B67FD0B9D5D48D7F9EB87C26FA2EDD97C1A59DF962665AE13874C057CF11C55255CA4843289F67AFB41891452B617CFCA5F1BD944B154556A976E6F3BA45D6198307DC36AD94B4AEAED98B2D416AE2C4A755C9613D2FA62AEB3456F08727093D79A9B35A8517726009CA3F11ED96ED0A79F837431A5B08BE76086B1874F7E943870D1A29416B31C23A28EEB0651C3DF9022874B847B570EF5068E1E503CF35C993D3D7EA04BBB5B2DB0114179C041ADCE3F2C45EED51BFEA0495CC1F6E10690B056FAFDE65EFEABCCECFC9BE1E21FD2595AAADDB92894EF7BC7E500EB8650A767975D55B7C3A468C0B719D6BB14EF280E78C5E84DFAF10292A065E42F6CF439DC27AE284C9552594E898E390724BD69717B4B991C75B9242715E723F7C35A23E17DBEE3E3201B01F4ECFEBB279F2F9E6CB41DB72D6369FAA2DD4EF2C52DE5FF075E2584C30A656E6473747265616D0A656E646F626A0A31342030206F626A0A3C3C0A2F50726F647563657220287064665465582D312E34302E3230290A2F43726561746F722028546558290A2F4372656174696F6E446174652028443A32303230313130383233303535362B303127303027290A2F4D6F64446174652028443A32303230313130383233303535362B303127303027290A2F54726170706564202F46616C73650A2F505445582E46756C6C62616E6E6572202854686973206973207064665465582C2056657273696F6E20332E31343135393236352D322E362D312E34302E32302028546558204C697665203230313929206B706174687365612076657273696F6E20362E332E31290A3E3E0A656E646F626A0A382030206F626A0A3C3C0A2F54797065202F4F626A53746D0A2F4E2031300A2F46697273742036300A2F4C656E67746820343532202020202020200A2F46696C746572202F466C6174654465636F64650A3E3E0A73747265616D0A78DA6552DB6AE330107DF757CC6397124BB2E54B2014EA649D76BB594AD2BD80F183EAA88E208D8DA49474BF7E67ECA54D2906E3393373CECCF124C041C2340301118F001F9E410C9188407088120EF815651C3290590E5348B90411432AD360360BD8C36BAF81DDAB56076CDE1DBC3E78072992AE03B6D6AE3BDA463B54188095DE1A557427A83802428A50E402D9E25044791D208DC57E14A1EAAB2B120064DD7776D3AB46E35C982035EFB53DE0B043F8F5E4971BAFBCC61D0808588983C06C06AC1402072710D9D8BDED9A8DF65021C5A204F6A04F1EEA51E8FD05C0FAF6A9B7ED23546F526CA15F4CA3D7CBA226AA2AC94498809CF230069926A1A8CFDC20F985768D35BDEFEC38CE0FF58C999BE5DDCFE2DBE57CB5BA151C137BD5A23963453118338923980CB67399439670B4E5DA35644B3AC5CAB9EA6FB4697718E671C04886721341C95BAFF6A6B93EB47B8D08021BAF9F7F411605ECCFFF2E190B24D9294B465CB0137B657FBF8C039406DB843833FF6C1FE43A3EFA212410490AE5F460F4A7AD3EAC4FF733FCFCD258E7491911ACFAAEDE221CEFB7D9FA9DA393FBA44EB7E5E8B88EA885BA7766EBA04AA8B0FE583957B87FD70663CBFB19FD03D224C5780A656E6473747265616D0A656E646F626A0A31352030206F626A0A3C3C0A2F54797065202F585265660A2F496E646578205B302031365D0A2F53697A652031360A2F57205B31203220315D0A2F526F6F74203133203020520A2F496E666F203134203020520A2F4944205B3C32304132453538393938323539453738464141304146444134304338303736303E203C32304132453538393938323539453738464141304146444134304338303736303E5D0A2F4C656E67746820353720202020202020200A2F46696C746572202F466C6174654465636F64650A3E3E0A73747265616D0A78DA636060F8CFC4C0C104C4CC40CC02C48C40CCC0C8C0CF00A4D91915CD40340710B332325583D86C40CCC9A860C4C0A89CCE000068D003550A656E6473747265616D0A656E646F626A0A7374617274787265660A393036330A2525454F460A>|pdf>|0.618par|||>
    </unfolded-io>

    <\input>
      pdflatex]\ 
    <|input>
      \;
    </input>
  </session>

  \;
</body>

<initial|<\collection>
</collection>>

<\attachments>
  <\collection>
    <\associate|bib-bibliography>
      <\db-entry|+2E9XdEJ4gneMkXs|book|TeXmacs:vdH:book>
        <db-field|contributor|root>

        <db-field|modus|imported>

        <db-field|date|1604849819>
      <|db-entry>
        <db-field|author|J. van der <name|Hoeven>>

        <db-field|title|The Jolly Writer. Your Guide to GNU TeXmacs>

        <db-field|publisher|Scypress>

        <db-field|year|2020>
      </db-entry>
    </associate>
  </collection>
</attachments>

<\references>
  <\collection>
    <associate|auto-1|<tuple|?|?>>
    <associate|auto-2|<tuple|?|?>>
  </collection>
</references>

<\auxiliary>
  <\collection>
    <\associate|idx>
      <tuple|<tuple|<with|font-family|<quote|ss>|Insert>|<with|font-family|<quote|ss>|Session>|<with|font-family|<quote|ss>|Graph>>|<pageref|auto-2>>
    </associate>
    <\associate|toc>
      <vspace*|1fn><with|font-series|<quote|bold>|math-font-series|<quote|bold>|font-shape|<quote|small-caps>|Example
      of TikZ embedding with the Graph plugin>
      <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
      <pageref|auto-1><vspace|0.5fn>
    </associate>
  </collection>
</auxiliary>